Fix ID cache sync time. Only when guest does DMA
read, ID sync cache is needed for VTi.
From: Zhang, Xiantao <xiantao.zhang@intel.com>
Signed-off-by: Christian Limpach <Christian.Limpach@xensource.com>
/* RAM case */
ptr = phys_ram_base + addr1;
memcpy(ptr, buf, l);
+#ifdef __ia64__
+ sync_icache((unsigned long)ptr, l);
+#endif
}
} else {
if (io_index) {
ptr = phys_ram_base + (pd & TARGET_PAGE_MASK) +
(addr & ~TARGET_PAGE_MASK);
memcpy(buf, ptr, l);
-#ifdef __ia64__
- sync_icache((unsigned long)ptr, l);
-#endif
} else {
/* unreported MMIO space */
memset(buf, 0xff, len);